perm filename TRIP.PL[TUG,DEK]1 blob sn#669464 filedate 1982-07-25 generic text, type T, neo UTF8
(FAMILY UNSPECIFIED)
(FACE F MRR)
(CODINGSCHEME TEX TEST: NOT A REAL FONT)
(DESIGNSIZE R 10.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CHECKSUM O 0)
(TEXINFO
   (SLANT R -2.0)
   (SPACE R 0.3999996)
   (STRETCH R 0.1999998)
   (SHRINK R 0.1000003)
   (XHEIGHT R 0.4499998)
   (QUAD R 1.0)
   (EXTRASPACE R 0.1999998)
   (PARAMETER D 8 R 0.0500001)
   (PARAMETER D 9 R 0.1000003)
   (PARAMETER D 10 R 0.1999998)
   (PARAMETER D 11 R 0.3000001)
   (PARAMETER D 12 R 0.3999996)
   (PARAMETER D 13 R 0.5)
   )
(LIGTABLE
   (LABEL O 57)
   (KRN C A R 0.1000003)
   (STOP)
   (LABEL C A)
   (LIG C A C A)
   (KRN C B R 0.1999998)
   (KRN O 55 R 0.3000001)
   (STOP)
   (LABEL C B)
   (LIG C B C A)
   (LIG O 55 C C)
   (KRN C C R 0.3999996)
   (STOP)
   (LABEL C C)
   (LIG C A O 202)
   (LIG O 57 C B)
   (STOP)
   )
(CHARACTER O 0
   (CHARWD R 0.6999998)
   (CHARHT R -0.1000003)
   (CHARDP R 0.1999998)
   )
(CHARACTER O 55
   (CHARWD R -0.5)
   )
(CHARACTER O 57
   (CHARWD R 0.1000003)
   (COMMENT
      (KRN C A R 0.1000003)
      )
   )
(CHARACTER C A
   (CHARWD R 0.1999998)
   (CHARHT R 0.6999998)
   (CHARDP R 0.1000003)
   (CHARIC R 0.1000003)
   (COMMENT
      (LIG C A C A)
      (KRN C B R 0.1999998)
      (KRN O 55 R 0.3000001)
      )
   )
(CHARACTER C B
   (CHARWD R 0.3000001)
   (CHARHT R 0.8000001)
   (CHARDP R 0.1999998)
   (COMMENT
      (LIG C B C A)
      (LIG O 55 C C)
      (KRN C C R 0.3999996)
      )
   )
(CHARACTER C C
   (CHARWD R 0.3999996)
   (COMMENT
      (LIG C A O 202)
      (LIG O 57 C B)
      )
   )
(CHARACTER C M
   (CHARWD R 0.6000003)
   (CHARIC R 0.1999998)
   (VARCHAR
      (MID C A)
      (BOT C B)
      (REP O 0)
      )
   )
(CHARACTER C a
   (CHARWD R 0.1999998)
   (CHARHT R 0.6999998)
   (CHARDP R 0.1000003)
   (CHARIC R 0.1000003)
   (NEXTLARGER O 202)
   )
(CHARACTER C b
   (CHARWD R 0.3000001)
   (CHARHT R 0.8000001)
   (CHARDP R 0.1999998)
   (NEXTLARGER C M)
   )
(CHARACTER O 202
   (CHARWD R 0.3999996)
   )